Bump the development group across 1 directory with 6 updates · MiniZinc/minizinc-playground@d5141fa

Triggered via pull request April 7, 2025 08:14

opened #98

Status Success

Total duration 48s

Artifacts 1

gh-pages.yml

on: pull_request

Matrix: build-for-deployment

Produced during runtime

Name	Size	Digest
playground	365 KB	`sha256:aa73283de9d8b46949831b2dc29186bc4b28303775e38ce1997f72d9888baac7`